21. Mechanizing mathematical reasoning : essays in honor of Jorg H. Siekmann on the occasion of his 60th birthday
پدیدآورنده : Dieter Hutter, Werner Stephan )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Automatic theorem proving,، Logic, Symbolic and mathematical,Automation ، Reasoning,Technique ، Reasoning
رده :
QA
76
.
L28
Vol
.
2605
22. Methodologies for Intelligent Systems, 4: Proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems held October 12-14, 1989, in Charlotte, North Carolina
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Artificial intelligence- Congresses,Reasoning- Congresses,Knowledge, Theory of- Congresses,Logic, Symbolic and mathematical- Congresses
رده :
Q
،
334
،.
I576
،
1989
23. Non-monotonic reasoning : 2nd international Workshop, Grassau, FRG, June 1988: Proceedings
پدیدآورنده : M. Reinfrank, ]editor[...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Reasoning,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
346
24. Non-monotonic reasoning : 2nd international workshop, Grassau, FRG, June 1988 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Artificial intelligence-- Congresses,، Reasoning-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
Q
334
.
N66
1989
25. Pure logic and other minor works
پدیدآورنده : / by W. Stanley Jevons,Jevons
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Logic, Symbolic and mathematical,Reasoning
رده :
BC
135
.
J4
1890
26. Qualitative spatial and temporal reasoning
پدیدآورنده : Gérard Ligozat.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Qualitative reasoning.,Space and time-- Mathematical models.,Spatial analysis (Statistics)
رده :
Q339
.
25
.
L54
2012eb
27. Quantitative analysis methods for substantive analysts
پدیدآورنده : DeFrancesco, Henry F.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Mathematical statistics,، Logic, Symbolic and mathematical,، Set theory,، Reasoning
رده :
QA
276
.
D42
28. Quantitative analysis methods for substantive analysts
پدیدآورنده : DeFrancesco, Henry F.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Mathematical statistics,، Logic, Symbolic and mathematical,، Set theory,، Reasoning
رده :
QA
276
.
D42
29. Reasoning about uncertainty. ]CD[
پدیدآورنده : Halpern, Joseph Y., Joseph Y. Halpern
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Uncertainty )Information theory(,، Reasoning,، Logic, Symbolic and mathematical
رده :
Q375
.
H35
2003
30. Reasoning about uncertainty
پدیدآورنده : / Joseph Y. Halpern
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Uncertainty (Information theory),Reasoning.,Logic, Symbolic and mathematical.
رده :
Q
,
375
,.
H35
,
2003
31. Reasoning about uncertainty
پدیدآورنده : / Joseph Y. Halpern
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Uncertainty (Information theory),Reasoning,Logic, Symbolic and mathematical
رده :
Q375
.
H35
2003
32. Reasoning about uncertainty
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Uncertainty (Information theory) ; Reasoning ; Logic, Symbolic and mathematical ; Incertitude (th?orie de l'information) ; Logique symbolique et math?matique ; Raisonnement ;
33. Reasoning about uncertainty
پدیدآورنده : / Joseph Y. Halpern
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Uncertainty (Information theory),Reasoning,Logic, Symbolic and mathematical
رده :
Q375
.
H35
2003
34. Reasoning about uncertainty
پدیدآورنده : Halpern, Joseph Y.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Uncertainty )Information theory(,، Reasoning,، Logic, Symbolic and mathematical
رده :
Q375
.
H35
2003
35. Reasoning about uncertainty
پدیدآورنده : / Joseph Y. Halpern
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Uncertainty (Information theory),Reasoning,Logic, Symbolic and mathematical
رده :
Q375
.
H35
2003
36. Regles pour la direction de l'esprit
پدیدآورنده : [par] Descartes ;Traduction par J. Sirven
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)
موضوع : Reasoning.,Logic, Symbolic and mathematical.
37. Regulae ad directionem ingenii
پدیدآورنده : Rene Descartes; Texte de l'edition adam et tannery ; Notice par Henri Gouhier
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)
موضوع : Reasoning.,Logic, Symbolic and mathematical.
38. Regulae ad directionem ingenii
پدیدآورنده : / Texte revu et traduit par Georges Le Roy,Descartes
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Reasoning,Logic, Symbolic and mathematical
رده :
B
1868
.
R34
39. Regulae utiles et claires pour la direction de l,esprit en la recherche de la verite
پدیدآورنده : / Rene Descartes,Descartes
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Reasoning,Logic, Symbolic and mathematical,Science -- Methodology
رده :
B
1868
.
R42F7
40. Simply logical: intelligent reasoning by example
پدیدآورنده : Flach, Peter A.
کتابخانه: کتابخانه، مرکز اسناد و مدارک علمی پژوهشگاه حوزه و دانشگاه (قم)
موضوع : Data Processing ، Reasoning,، Logic, Symbolic And Mathematical,، Artifical Intelligence,، Prolag ) Computer Program Language(
رده :
Q
335
.
F58
1994
